Словарь по логике - предложение

соединение слов, имеющее самостоятельный смысл, т. е. выражающее законченную мысль. Логика заимствует этот термин из грамматики и использует при определении высказывания как грамматически правильного П., взятого вместе с его содержанием. Термин "П." употребляется также в искусственном (формализованном) языке логики для обозначения тех последовательностей символов, которые при их содержательной интерпретации дают П. естественного языка.

Для описания П. часто используется теория немецкого логика Г. Фреге (1848-1925), согласно которой П. является именем определенного рода. Как и в обычном имени, содержание П. включает смысл и обозначаемый объект денотат. Смысл П. можно охарактеризовать как то, что бывает усвоено, когда П. понято, или как то общее, что имеют два П. в различных языках, если они правильно переведены. В качестве объектов, обозначаемых П., выступают два абстрактных предмета, называемых истинностными значениями, истина и ложь; устанавливается, что все истинные П. обозначают истину, а все ложные П. обозначают ложь. Так, П. "И. С. Тургенев автор романа "Отцы и дети"" и "Ф. М. Достоевский автор романа "Бесы"" имеют разный смысл, но обозначают один и тот же объект истину; П. "Луна обитаема" и "Марс спутник Фобоса", имеющие разный смысл, обозначают один и тот же объект ложь.

Преимуществом такого взгляда на П. является возможность непосредственного применения к ним всего того, что говорится об именах. Отождествление П. с именами определенного рода упрощает логическую теорию и придает ей единообразие. Тем не менее оно во многом представляется неестественным. Наиболее обычным употреблением П. является не просто называние ч.-л., скажем, абстрактных объектов, подобных истине и лжи, а формулировка утверждений. Истолкование П. как частного случая имен заставляет считать такие разные П., как "Волга впадает в Каспийское море" и "Лошади едят овес", обозначающими один и тот же объект, что явно не соответствует обычным представлениям о П.

Существуют и многие другие теории содержания П., однако ни одна из них не является общепринятой.